Integrand size = 9, antiderivative size = 58 \[ \int \sqrt {1+x^4} \, dx=\frac {1}{3} x \sqrt {1+x^4}+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{3 \sqrt {1+x^4}} \]
[Out]
Time = 0.01 (sec) , antiderivative size = 58, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {201, 226} \[ \int \sqrt {1+x^4} \, dx=\frac {\left (x^2+1\right ) \sqrt {\frac {x^4+1}{\left (x^2+1\right )^2}} \operatorname {EllipticF}\left (2 \arctan (x),\frac {1}{2}\right )}{3 \sqrt {x^4+1}}+\frac {1}{3} \sqrt {x^4+1} x \]
[In]
[Out]
Rule 201
Rule 226
Rubi steps \begin{align*} \text {integral}& = \frac {1}{3} x \sqrt {1+x^4}+\frac {2}{3} \int \frac {1}{\sqrt {1+x^4}} \, dx \\ & = \frac {1}{3} x \sqrt {1+x^4}+\frac {\left (1+x^2\right ) \sqrt {\frac {1+x^4}{\left (1+x^2\right )^2}} F\left (2 \tan ^{-1}(x)|\frac {1}{2}\right )}{3 \sqrt {1+x^4}} \\ \end{align*}
Result contains complex when optimal does not.
Time = 2.57 (sec) , antiderivative size = 48, normalized size of antiderivative = 0.83 \[ \int \sqrt {1+x^4} \, dx=\frac {x+x^5-2 \sqrt [4]{-1} \sqrt {1+x^4} \operatorname {EllipticF}\left (i \text {arcsinh}\left (\sqrt [4]{-1} x\right ),-1\right )}{3 \sqrt {1+x^4}} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 5 vs. order 4.
Time = 4.12 (sec) , antiderivative size = 14, normalized size of antiderivative = 0.24
method | result | size |
meijerg | \(x {}_{2}^{}{\moversetsp {}{\mundersetsp {}{F_{1}^{}}}}\left (-\frac {1}{2},\frac {1}{4};\frac {5}{4};-x^{4}\right )\) | \(14\) |
default | \(\frac {x \sqrt {x^{4}+1}}{3}+\frac {2 \sqrt {-i x^{2}+1}\, \sqrt {i x^{2}+1}\, F\left (x \left (\frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right ), i\right )}{3 \left (\frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right ) \sqrt {x^{4}+1}}\) | \(72\) |
risch | \(\frac {x \sqrt {x^{4}+1}}{3}+\frac {2 \sqrt {-i x^{2}+1}\, \sqrt {i x^{2}+1}\, F\left (x \left (\frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right ), i\right )}{3 \left (\frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right ) \sqrt {x^{4}+1}}\) | \(72\) |
elliptic | \(\frac {x \sqrt {x^{4}+1}}{3}+\frac {2 \sqrt {-i x^{2}+1}\, \sqrt {i x^{2}+1}\, F\left (x \left (\frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right ), i\right )}{3 \left (\frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right ) \sqrt {x^{4}+1}}\) | \(72\) |
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.09 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.45 \[ \int \sqrt {1+x^4} \, dx=\frac {1}{3} \, \sqrt {x^{4} + 1} x + \frac {2}{3} i \, \sqrt {i} F(\arcsin \left (\frac {\sqrt {i}}{x}\right )\,|\,-1) \]
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.38 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.50 \[ \int \sqrt {1+x^4} \, dx=\frac {x \Gamma \left (\frac {1}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, \frac {1}{4} \\ \frac {5}{4} \end {matrix}\middle | {x^{4} e^{i \pi }} \right )}}{4 \Gamma \left (\frac {5}{4}\right )} \]
[In]
[Out]
\[ \int \sqrt {1+x^4} \, dx=\int { \sqrt {x^{4} + 1} \,d x } \]
[In]
[Out]
\[ \int \sqrt {1+x^4} \, dx=\int { \sqrt {x^{4} + 1} \,d x } \]
[In]
[Out]
Time = 5.44 (sec) , antiderivative size = 12, normalized size of antiderivative = 0.21 \[ \int \sqrt {1+x^4} \, dx=x\,{{}}_2{\mathrm {F}}_1\left (-\frac {1}{2},\frac {1}{4};\ \frac {5}{4};\ -x^4\right ) \]
[In]
[Out]